Triumvirat: Prof. Podelski, Prof. Olderog und Prof. Fränzle