"high-pressure cooler" Deutsche bedeutung