Deutsche Biographie – Martin, Paul July 27, 2026 by jlamprecht https://www.deutsche-biographie.de/120046660.html?language=en
