Extensional Gödel Functional Interpretation door Horst Luckhardt