Nachruf auf Michael Mitterauer (1937-2022)