Schade, dass er nicht mehr gepostet hat.
Nach dem was mir von den Kollegen dazu berichtet wird, war mein Hinweis -s.o. --an unser Reisebüro nicht erforderlich, es war schon alles gut.
Die Stornokosten wurden Jollylolly vom Kundenservice natürlich erlassen*, die Sache ist damit erledigt- und Jollylolly kann sich auf den Urlaub freuen.
*Alles andere hätte mich auch gewundert.