reservations ended on website manually now also go through the scheduler, fiddled with the mutexes some more