NB: Change of time for exercises

Tomorrow, August 25, the exercises will as announced already start at 9:30 am. We will meet in the same place (?467).

_{(starting from next week, September 1, this will be back to normal, i.e. ?467, 10:15 am)}