PR: ports/48154 Submitted by: maintainer
PR: 45370 Submitted by: Volker Stolz <stolz@i2.informatik.rwth-aachen.de>