"quenching" Deutsche bedeutung