lopp , som för en dylik lönereglerings verkställande är erforderligt , lär uppgå till 23,000 kr.