Maiidagen , den 9 October.