Miró spielt “Diamantenmine”