Tyske tjenstemän dödade i Afrika.