Running and editing the boot sequence with the startup Manager works fine - even saving these settings is done properly (I can check this with reopening the startup manager) - but after reboot - these settings are ignored.
Why ? How can I change that easily (for beginners) ???