werkstadens allmänna pensionskassa och 250 kr.