[RWTH-Einrichtungen] Arbeitszeitregelung wegen der anhaltenden Hitzewelle