--- /dev/null
+mainrad = 28.4;
+poleholeh = 5.0;
+polecovth = 0.4;
+poleholerad = 6;
+
+mainth = poleholeh + polecovth;
+
+rotate_extrude(convexity=10)
+ mirror([1,0,0])
+ polygon(points=[[-mainrad/2, 0],
+ [-mainrad/2 + mainth, -mainth],
+ [0, -mainth],
+ [0, -poleholeh],
+ [-poleholerad, -poleholeh],
+ [-poleholerad, 0]]);