inbegripet badanstalten , uppgingo till kr.