¹⁹ Martens, 3. serie, 40. Bd., S. 13 ff.; RGB1., 1942, 2. Bd., S. 264 ff. Die deutschitalienische Grenze wurde im Staatsvertrag vom 8. 7. 1941 festgelegt, Keesings Archiv, 1941, S. 5111.