So lautet der „Grabstein“ des Internet Explorers