Extensional Gödel Functional Interpretation by Horst Luckhardt