Deutsche Biographie - Gentzen, Gerhard

https://www.deutsche-biographie.de/gnd117710458.html#ndbcontent

Deutsche Biographie