"vent cock" Deutsche bedeutung