Die Mühlenkinder Prinzessin Jorunn und der Wassertroll - Michaelis, Antonia