Google’s cloud-based email service has been available to Germans over for seven years, but they are just now getting the official Gmail domain.

A local businessperson previously held the domain, which forced Google to provide “googlemail.de” addresses to users in Germany. However, according to a recent story by The Financial Times (translated), the Gmail trademark and domain were effectively transferred to Google earlier this month.

There are no further details regarding the settlement.