Laudatio für F. L. Bauer: Anläßlich der Verleihung der Ehrenmitgliedschaft der Gesellschaft für Informatik