En tysk domare Stilch,