för samma högskolas mekaniska verkstad och 25.000 kr.