Manfred Broy deutscher Informatiker und Professor an der Fakultät für Informatik der Technischen Universität München