Bevor du das OS aktualisierst, solltest du noch einmal schauen, ob du den Druckertreiber aktualisieren und/oder Libre Office die Verwendung des Duplex-fähigen Treibers beibringen kannst.
Habe ich gemacht. Habe mir auf
http://hplipopensource.com/hplip-web/index.html
die neuesten hplips besorgt und installiert.
Jetzt klappt Duplex aus Libre Office einwandfrei. Problem gelöst.
Vielen Dank für die Hilfe.