minor changes in uebung04ext (only relevant for batch grading)