till reparationsverkstaden , för hvilken sålunda 35,000 kr.