Yesterday the server was restarted after we made a small change. Then the background process that should send the mails was not started. Because of this, the e-mails were delivered later in the day. Our apologies for this.