offentliggjorde den officielle » Reichsanzeiger® d.