Deutsche Biographie - Regiomontanus, Johannes

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

Deutsche Biographie