Anordnung des Bundespräsidenten über die Festsetzung einer Amtsbezeichnung vom 1. Februar 1972