Translation of "Amtliche vermerke" in English