Emeritierter Informatikprofessor räumt private Bibliothek