Fun fact: When AOL was still operating in Germany, internal servers in their network were named after characters / things from Asterix comics, like Asterix, Obelix, Idefix, Miraculix and even Hinkelstein (menhir). When Telecom Italia bought them up they unfortunately got rid of all these and replaced them with standard corpo server names. Source: I worked there.