Collaborations between Willy Thomas and Carl Joos