Martensen, Erich, Indexeintrag: Deutsche Biographie, https://www.deutsche-biographie.de/pnd105129860.html [14.10.2024].