Spanish to German Law/Patents Law: Contract(s)

Aus einer Kaufoption

Dicha venta –en el supuesto que AAA ejercite el derecho de opción de compra que mediante este contrato se le concede- se ***formalizará*** ante el notario de Barcelona que dicha sociedad designe, teniendo que estar el inmueble referido libre de cargas y gravámenes, así como de arrendatarios y ocupantes“ de toda clase.-

SEGUNDO.- A tal fin DON XXX establece y concede a favor de AAA un derecho de opción de compra, al objeto de que ésta última pueda ***formalizar*** su derecho a la compra de la finca descrita en el antecedente I en las condiciones y plazos que se pactan más adelante.

Wie übersetze ich denn hier am besten "formalizar". Ich stehe damit leider etwas auf Kriegsfuß...

Danke schön!
Jutta