code by Mathias Bader
HTML index file