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