Back at home - thank you all again for for help and suggestions.

We did it the way I wrote, leaving the ship at about 9:30 h. After it was a bit difficult to catch a taxi at the port where three ships had their passenger exchange there at this day (total approx. 700 passengers) which was done in a new permanently (?) tent.

As we arrived at Holland House there was no problem to leave our suitcases there (as many other had done; mostly guests arriving there from one of the ships for a post-cruise stay). We even must not mention our lunch reservation and there was no charge to store the suitcases there. They seemed a bit surprised about getting tipped for their service. After some strolling (and shopping) we arrived back in the Holland House to have a pre-lunch drink at the bar and changed to the restaurant at our reservation time. It turned out that our lunch reservation was the only for that day, but it wasn't wrong, because at 1:15 h all tables were occupied. Service and food were excellent.

After lunch we picked up our luggage and a taxi was called by hotel staff.

So our thanks are also going to the staff of Holland House. We felt welcome, even without a reservation for accomodation. We have marked Holland House as our first choice for the next hotel stay in Philipsburg.