Beim Download des Opera Mini 4.1 werden aus technischen Gründen verschiedene Versionen angeboten. Am besten man probiert von oben nach unten durch.