Anton Menger und seine Bibliothek