The history and production of traditional pencils in Germany, including information on graphite composition, hardness grades, and popularity in schools