Spielautomaten im Casino auf Deck 10 der AIDAdiva. © Foto Ingo Josten.