ledning , som tillsörer Kristiania watten , hwilket kommer frän den förut omnämnda sjön , Mariedalsvandet.