Museen der Stadt Dresden, Bibliothek der Technischen Sammlungen