Public swimming pool in Vienna, also featuring a restaurant. Currently undergoing renovations.