Tekniska högskolans bibliotek (Prottning~a