Even by the standards of Christian martyrology, St Elmo, whose feast-day falls today, met a very grisly end.