äro Varmbadhuset och Restaurationen öppnade.