Translation of "Public registry office" in German