what domain registry is .se registered under?
(AND internet.top_level_domain_registry (JOIN internet.top_level_domain_registry.domains m.034dt5))