Vertrag unter Eheleuten

Hallo,

M und F sind verheiratet und möchten gemeinsam ein Haus kaufen und je zu 50% im Grundbuch eingetragen werden. Der Hauskauf wird zum Großteil finanziert und die monatlichen Raten werden geteilt.
M und F bringen aber sehr unterschiedlich viel Geld als Eigenkapital ein, sagen wir F 80.000 Euro und M 10.000 Euro. Sie möchten nun sichergehen, dass im Falle einer Scheidung, wenn dann das Haus verkauft wird, der Erlös nach Bankablösung so aufgeteilt wird, dass der ursprüngliche Mehrbetrag von F beim Eingenkapital berücksichtigt bzw. wieder rückgängig gemacht wird.

Wie könnte man so etwas hinbekommen, ohne Notar?
Meine Ideen:
1. Ein unverzinstes Darlehen von F an M über 35.000 (dann zahlt jeder 45.000 Eigenkapital), das nur bei einer Scheidung zur Rückzahlung fällig wird?
2. Eine Schenkung von F an M über 35.000 mit einem Rückforderungsvorbehalt im Scheidungsfall?

Würde eine dieser Varianten gehen? Oder haben Sie andere Ideen?

Gruß jotrocken