krigstjenst undfått ett års tjenstledighet , räknadt från och med den 1 December 1872 , numera erhållit Kongl.