ŚWIĘTO ŚW. WAWRZYŃCA, DIAKONA I MĘCZENNIKA