Katalog der Bibliothek des Reichstages - Mueller, Johann