Collaborations between Hans Horn and Hans Hafner