Build: #1858 was successful Scheduled with changes by Ulf Rueegg <uru@informatik.uni-kiel.de>