Koch afled i mändags 80 är gammal.