"quench" Deutsche bedeutung