No, they count them by hand. Each issue/office has a separate ballot paper, so it can be done in parallel with sufficient number of counting personnel. It takes a couple of hours, sometimes more in big districts in cities but usually they are done by 6pm at the latest after starting at noon.