Doesn’t .dev belong to Google? An old choice or provider for a EU-focused hosting.