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