We are sorry to say that Michael died at the weekend. We will have a celebration of his life in the Department in 2026.