This doesn't sound much different than how the US put many buildings from from the former third reich to use for for vacation or recreation purposes. I was with the US Army for nearly 4 years in Germany in the mid 70s. While on a visit to Berlin (at that time, West Berlin) I stayed at the US Army Wannsee Recreation Center on Lake Wannsee, which was by then converted into a hotel. It was right next to a beautiful lakeside beach. It was the former residence of the Finance Minister of the third reich, and was taken over by US forces after WW2. That was well known by everyone who went there.
On several visits to Berchtesdaden (in the Bavarian Alps) I stayed at the incredible General Walker Hotel for a few dollars a day. It was turned back over to Germany in 1989. There were also beautiful alpine resorts in Chiemsee and Garmisch which the US Military took over after WW2, which were available for use by US military and dependants. Everyone knew the history of those places and it sure did not stop them from being heavily booked up for vacations by US military people. In fact, it was widely promoted that the General Walker Hotel was the place where many of the big wigs from the third reich stayed during WW2 when they went to visit the Eagle's Nest in Berchtesgaden.