Unfortunately, we were running out of hard disk space, so that the automatic update that supposed to be performed every midnight did not perform (and we did not know about...