Hallo Eins habe ich vergessen zu schreiben: Die fragliche Partition auf der externen Festplatte ist VERSCHLÜSSELT. Mit Label und UUID wird es nicht gehen. Ich werde jetzt Paul Musters Lösung (d.h. udev) ausprobieren. Tschüß, Volker