Junges, Sebastian [P:(DE-82)IDM01624] ; Katoen, Joost-Pieter [P:(DE-82)IDM00048] ; Abate, Alessandro [P:(DE-82)010759] ; Esparza, Javier