en tid ur krigstjensten.