för manlig arbetare stadgadt pensionsbelopp.