Schroer, Philipp [P:(DE-82)IDM05116] ; Batz, Kevin [P:(DE-82)IDM04047] ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter [P:(DE-82)IDM00048] ; Matheja, Christoph