Collaborations between Alastair McIntyre and Dieter Hallervorden