Es lag schon mächtig in der Luft, aber erst jetzt ist es von offiziell befugter Seite ausgesprochen worden: Microsoft gibt den Internet Explorer auf und beerdigt die Marke. Eine Gnadenfrist wird der altgediente Browser aus Kompatibilitätsgründen noch