DuckDuckGo zu Opera Mini hinzufügen

In der letzten Zeit habe ich verstärkt die Suchmaschine DuckDuckGo. Da ich auf meienm Smartphone den Opera Mini Browser verwende, wollte ich dort als Standardsuchmaschine ebenfalls DuckDuckGo einstellen. Leider habe ich in den Einstellungen die Option zum hinzufügen einer weiteren Suchmaschine nicht gefunden.
Da meiner Meinung nach, das Hinzufügen ein wenig versteckt ist, hier eine kurze Sreccnshotanleitung dafür: