i dagligt tal kallad S:t Olafs bad,