Hello David,
thank you very much for your answer. I have tried this, but unfortunately it results in the slider not being displayed in the frontend at all.
As you suggested, I started a new post for this problem (Slider: custom options result in not showing slider - how to do it right?)
Anyway a thousand thanks for your help, hopefully this has put me on the right track
-kai