De tre tyske tjenstemän,