which domain registry is de registered to?
(AND internet.top_level_domain_registry (JOIN internet.top_level_domain_registry.domains m.035crr))