I found maps at both https://www.regjeringen.no/globalassets/upload/subnettsteder/framtidens_byer/atp/2013/nettverkssamling_oktober/ivararnedevik.pdf and https://opendatatrondheim-testkommune.hub.arcgis.com/datasets/bc32fc78ebd545919042ae0f1f306560. I will try to look tonight if these maps are of high enough precision to add to OSM.