in memoriam: Mario Fitterer (1937-2009)