The English term "library" matches the German term "Bibliothek"