Addendum (13 August 2020): The new format of Google sites just puts all the files to Google Drive. So sorry you don't see the files any more, but if you like to have one paper, just write to me and I am happy to send a copy to you.