Deutscher spinnereimaschinenbau Ingolstadt.