dermed bestämdes sagda väntpenningar ( pension som åtnjutes under ledighetstiden ) till 5 000 kr.