örn prygelstraffets upphörande vid armén och flottan.