»DuckDuckGo: Schneller Google-Kokurrent mit guten Ergebnis-Listen«, via @ifun —