Nun geht er, allerdings hat was Anderes dazu geführt. Ich habe den Drucker nicht über "Manager Printer" hinzugefügt sondern zum ca. 3. Male über die Internetseite:
http://localhost:631/ und dort einen anderen Treiber für meinen Drucker ausgesucht als die vorigen Male.
Herzlichen Dank dongiovanni
Gruss Marcus
PS. Ich habe hplip über pacman installiert, eventuell hat dieses auch zur Lösung beigetragen, obwohl der Treiber nen Anderer ist.