| Tisdagen den 17 Juli fei.