"water jacket" Deutsche bedeutung