New cange of schedule

To compensate for lost classes, we add new lecture time Tuesdays 10:15-12:00, though not all Tuesdays:

25/9, 2/10, 9/10, 16/10, 6/11, 13/11, 20/11

We therefore do not continue with Thursday classes starting at 09:15, so from now on Thursday classes start at 10:15.