Danke für den Hinweis! Ich habe nach Samsung Treibern gesucht und eine Webseite gefunden, der scheinbar eine offizielle Samsung-Seite darstellte; doch bei eingehender Prüfung sich als Adresse einer anderen Firma erwies.
Unerwartet habe ich in den Verzeichnissen der Samsung Drucker-Installations-CD die Anleitung zur Treiberinstallation unter Linux gefunden. Die CD scheint auf den ersten Blick nur Installation unter Windoof zu behandeln, sucht man das Stichwort "Linux", dann kommt man in Unterverzeichnisse mit SW plus Anleitung. Es geht halt leider weniger einfach, d.h. ein Analogon zu "setup.exe" fehlt.
Ich schreibe das hier in Forum, weil ja womöglich andere Linux-Nutzer mit anderen Druckern die gleiche Frage lösen müssen.