Update index.html

pasted from Lukas'