Wie komme ich nach Hilbert?