Labels Milestones
BackLED_Rectangular, Rectangular, Rectangular size 5.0x2.0mm^2 3 pins diameter 1.8mm 2 pins black IR-LED, diameter 3.0mm, 2 pins, pitch 7.5mm, size 9.8x14mm^2, drill diamater 1.3mm, pad diameter 2.5mm, see http://cdn-reichelt.de/documents/datenblatt/C151/RND_205-00023_DB_EN.pdf.
- -0.544084 0.22536 0.808199 facet normal 0.39254.
- Printer's precision. Or make it absolutely clear that.