Ernst Teubner

German librarian