PR: ports/5122 Submitted by: jesse@cs.uni-magdeburg.de
PR: 3458 Submitted by: Roland Jesse <jesse@cs.uni-magdeburg.de>