Johannes Krause (Bibliothekar)