(2020-12-05, 20:00)Gerald Lasser Wrote: I think we used the standard hole for such holes before.
(2020-12-05, 20:00)Gerald Lasser Wrote: Rest is also done: