Karl-Erich Koch (German, born )