finished u10 (handed-in version; syntax tree of A4 done by hand, not part of tex-file)