"final vacuum pump" Deutsche bedeutung