function scrollUp()
{
    document.getElementById("text").scrollTop =  document.getElementById("text").scrollTop + 2;
}

function scrollDown()
{
    document.getElementById("text").scrollTop =  document.getElementById("text").scrollTop - 2;
}

function runter()
{
    gutjetzt = setInterval("scrollDown()",10);
}

function rauf()
{
    gutjetzt = setInterval("scrollUp()",10);
}

function anhalten()
{
 clearInterval(gutjetzt);
}