The releases in this directory are labeled according to the revision
information in the Subversion source control system. 

The date that is used for the file name is the last-change date in the
repository at build time. Since this is at approximately 0:10 CET, files
easily get to carry yesterday's date.

When we enter the code freeze period, it can even happen that there
have been no changes at all since the last build, in which case an
equivalent file of the same name will be built.