"cooling-water jacket" Deutsche bedeutung