[46] Extrahiren (v. lat.), 1) ausziehen; 2) einen gerichtlichen Befehl auswirken.[46]
Herder-1854: Extrahiren