Josefine Zimmermann als „Tanz-Szene“ in „Robert der Teufel / Robert le Diable“