Not removed from all search engines. Just Google. Bing works just fine. So do the little guys, like DuckDuckGo. "robots.txt":

    User-agent: Google-Legal-Removals
    Disallow:

    User-agent: Googlebot
    Noindex: /
    Allow: /pages

    User-agent: *
    Disallow: /
    Allow: /pages