dafni shutdown 1

Logo and text informing of shutdown