. . . "Spanish miner" .