Zig Seiten später habe ich mir die Druckereinstellungen noch einmal genauer angesehen. Auf dem Register "Geräteeinstellungen" (Siehe Bild) befindet sich ein Auswahlfeld, in dem festgelegt werden kann, ob der Drucker eine automatische Duplexeinheit hat ("Modul für beidseitigen Druck) hat. Nach dem ich da "nicht installiert" ausgewählt hatte funktionierte der manuelle Duplexdruck einwandfrei. Jetzt heißt das Kästchen für den Duplextruck nicht mehr "Beidseitiger Druck" sondern "Beidseitiger Druck (manuell)".
Der Druckertreiber scheint standardmäßig für den LaserJet 3600DN mit Duplexeinheit eingerichtet zu werden.