Hallo Tom,
herzlichen Dank für Deinen Tip; der erstere vom Profi war aber der entscheidende.
print.print_printer enthielt noch einen Netzwerkdrucker Namen. Da ich aber hier zu Hause
nur einen lokalen angeschlossen habe, wollte firefox offenbar weiterhin remote drucken.
also gelöst - aber noch nicht: warum wird so ein simpler Fehler nicht abgefangen?
Gruß Wolfgang