"pump priming" Deutsche bedeutung