på Enerhaugen en folkbadinrättning.