17 JULI 1957. - KONINKLIJK BESLUIT betreffende de toekenning van een vacantiegeld en een gezinsvacantiegeld aan het personeel der krijgsmacht en der rijkswacht