adb7f7bca7
PR: bin/4661 Submitted by: blank@sliphost37.uni-trier.de (Sascha Blank)
PR: bin/4661 Submitted by: blank@sliphost37.uni-trier.de (Sascha Blank)