Refines demo.tex

 * Switches to KOMAscript
 * Adds abstract
 * Adds two kinds of ONLYSHORT