Spork, Timm [0009-0008-4461-0667] ; Baier, Christel [0000-0002-5321-9343] ; Katoen, Joost-Pieter [P:(DE-82)IDM00048] ; Piribauer, Jakob [0000-0003-4829-0476] ; Quatmann, Tim [P:(DE-82)IDM01389]