Katson, että virallisissa asiakirjoissamme ei saisi olla tällaisia virheitä, vaan meidän tulisi käyttää virallisia nimiä, jotka ainakin nykyään ovat voimassa. ###>I think that errors such as this should not recur in our official documents and that we should use official names, at least those which still apply.