Polyfolds I - Helmut Hofer