"quick lime" Deutsche bedeutung