En förkortning af sommarferierna,