Eingang zum 'Weite Welt Restaurant' auf Deck 10 der AIDAdiva. © Foto Ingo Josten.