Nudeln im Drucktopf kochen

Nudeln im Drucktopf zu kochen geht schnell und spart viel Energie, weil nur die Menge Wasser zum Kochen gebracht wird, die auch von den Nudeln aufgenommen wird.
Ich brauche für 2 Personen:
300 g Dinkelnudeln (Kochzeit der Verpackung 9min.)
435-450 g Wasser
4 g Salz
und nach dem Kochen etwas Olivenöl.
Natürlich kann man auch Hartweizennudel benutzen. Vermutlich wird ähnlich viel Wasser benötigt.