Grand Hotel Bernadin and Hotel Tomi Portorož, Slovenia