Premieregeling en aanvullende voorzieningen beroepsmilitairen van de krijgsmacht [vervallen]