Scheepswerf en Machinefabriek „De Industrie“