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