Exercises etc. for the DCF course