Irm Hermann (1942-2020)