"ion pump" Deutsche bedeutung