Definitions

[1] der Pfandregistrator (amtliche Körperschaft, die sich mit der Eintragung von Pfänden befaßt)