"hot box casting" in German hot-box casting Hot-Box-Verfahren Detailed translations for "hot box casting" hot-box casting hot-box casting das Hot-Box-Verfahren{neuter}