Vertrekstaat Oorlogsdienstregeling 19 October 1940 Vertrekstaat Zomerdienstregeling 1957 Vertrekstaat Dienstregeling 1971/1972