Bibliothek des Krause'schen Instituts