\uebung*{} now implemented; better exercise annotation formatting