Danke für den Hinweis.
Werden wir untersuchen. Eventuell wird nur im Fehlerfall (wie bei dir), laufend nach einer neuen Version gesucht.