Hallo DrEvil,
function scroll() { var scroll_aktiv = window.setInterval("nach_unten(1)", 200); }
scroll_aktiv ist hier eine lokale variable ...
function stoppe_scroll() { window.clearInterval(scroll_aktiv); }
... die hier nicht mehr bekannt ist.
Gruß, Jürgen