af en arbetarekasern , 20,000 kr.