dummywerkstatt=new Image()
dummywerkstatt.src="images/werkstatt.jpg" //Startbild werkstatt


werkstatt01=new Image()
werkstatt01.src= "images/werkstatt01.jpg"

werkstatt02=new Image()
werkstatt02.src= "images/werkstatt02.jpg"

werkstatt03=new Image()
werkstatt03.src= "images/werkstatt03.jpg"

werkstatt04=new Image()
werkstatt04.src= "images/werkstatt04.jpg"


function wechselwerkstatt(obj)
{
document.getElementById("werkstatt").src=obj.src
}