The .eu domain was never really pushed, it's been using NOINDEX, NOFOLLOW for many years to avoid duplicated content penalties from Google and double crawling.

The .eu domain was never really pushed, it's been using NOINDEX, NOFOLLOW for many years to avoid duplicated content penalties from Google and double crawling. The .at/.de domains should still be very visible in Google, at least they were a few years ago when I checked regularly (I use Duckduckgo exclusively).