Ernst Zinn (1910-1990) - Heck, Eberhard 1937-2022; Zinn, Ernst 1910-1990 (1993)