Deutsche Biographie - Binder, Julius

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

Deutsche Biographie