„királyok” – feltehetőleg „színfémszemcse”; a német König (király) szó egyik jelentése