äro varmbadhuset och restaurationen öppnade.