resolves #12904 Closes: #12905 [via git-merge-pr] Signed-off-by: Jürgen Buchmüller <pullmoll@t-online.de>