"ball cock" Deutsche bedeutung