Das ist ein neuer Deckel für „The Better Mouse Trap (für einen 3D-Drucker!)“. Mit dem dort mitgelieferten Deckel hatte ich Probleme – er war zu eng für den Stift und ließ sich nicht einfach aufsetzen. Deshalb habe ich den Deckel so angepasst, dass er locker genug ist, um leicht aufzusetzen.