Looking for Euro bathroom fixtures: the tub in our Barcelona hotel