[wink]

I'm pretty sure shell.de was owned by a private person named Shell in the 90s or early 00s as well, but now it's the Petroleum Shell.