Hi,
function wheel(event){
var delta = 0;
if (!event) event = document.getElementById('kartenmodul').event;
Nein, das muss window.event bleiben, für den IE.
/* Initialization code. */
if (window.addEventListener)
window.addEventListener('DOMMouseScroll', wheel, false);
window.onmousewheel = document.onmousewheel = wheel;
So:
var div = document.getElementById('kartenmodul');
if (div.addEventListener)
div.addEventListener('DOMMouseScroll', wheel, false);
div.onmousewheel = document.onmousewheel = wheel;
Gruß!