Die Bilder als CR2 suchen, markieren und dann in einem Rutsch löschen, hat nur partiellen Erfolg gehabt.
Nach dem anschließenden Import der JPEGs waren sie teilweise wieder als RAW/JPEG-Kombi wieder da und so habe ich ein gutes Drittel Bild für Bild gelöscht (die Bilder lagen einmal als JPEG und einmal als RAW/JPEG-Kombi vor). Na ja, umständlich aber für eine Einmal-Aktion macht man es halt. Nochmal die Mediathek beim App-Start repariert und nun ist alles i.O.