sanierung ehemalige jesuitenbibliothek in ingolstadt