All is good and in order.
Only bad surprise was in the street next morning (heads-up to car travellers: street parking IS NOT FREE, even during the night, so beware to fines in the windshield next morning if you don’t find a way to buy a parking pass. We had one of the two cars fined)