General: what now common item was originally designed for sharpening quill pens