Execução sumária n.º 890/58 See original record