Collaborations between Amrei Haardt and Dieter Hallervorden