Binau, Lars, DTU Bibliotek