Script of Goedel added
update of FU talk