Collaborations between Robin Thomas and Willi Bär