Allies Leave Austria

Six years short of six decades ago today, the Allies left Austrian territory according to the Austrian State Treaty. The treaty's full name was:

State Treaty (with annexes and maps) for the re-establishment of an independent and democratic Austria.

One of the provisions read:

Austria further undertakes to maintain the law of 3rd April, 1919, concerning the House of Hapsburg-Lorraine.