Carolin Bocek Susann Korni

Julia Magda Lena suricata_passer

Chris Florian Günther Gabriel Höppner Jan Hesse Marcel Mühlig Max Häßler Michael Noah Pit Mehlhorn Robert Wisinger Till Machleit Toni Tony Günther

Christian Jonas Zimmermann Kenny Robert Bocek ToTo - BLC

Paramodulation

Emilia Stankovic

Aliya Münzner

Fritz Pfeil