Durch Zufall stieß ich auf das unten genannte YouTube Video, für einen Gerätereset. Das hat schon beim ersten Versuch funtioniert und der Drucker druckt wieder ohne Probleme.
youtube.com/watch?v=-d9dov4oqjs
Ich hoffe das hilft einigen Leidensgenossen weiter.
Sternenfrank51