Collaborations between Gerd Baumann and Jürgen Tonkel