Het Mosteiro dos Jerónimos werd onlangs nog volledig gerestaureerd