Hans Heinrich Koch — German civil servant