Mein Schiff 5 in der Werft im Oktober 2020