högtidligheten till Alfonso XII:s minne.