Collaborations between Hark Bohm and Edmund Butt