"distilled-water pump" Deutsche bedeutung