The mail server maintenance took longer than expected owing to an error on my part.  It is completed and now has much more space available so that we should not run out of space again in the near future.