Prof. Dr. Dieter Kranzlmüller Ludwig-Maximilians-Universität München München InformatikProfessor nominieren