i Dublin med den vid dylika tillfällen vanliga högtidligheten.