Bibliothek Professor Harms, Kiel