Reidl, Felix [P:(DE-82)020003] ; Rossmanith, Peter [P:(DE-82)IDM00088] ; Nešetril, Jarik [P:(DE-82)133529]