( » Industrien . »)