Technische Universität Hamburg TUHH, Universitätsbibliothek TUB