restauratiousarbetena å Häkonshallen i Bergen 15,000 kr.