There were a lot of commercial hole punchers at that time. See here for some photos e.g.

https://www.forum64.de/index.php?thread/38406-diskettenloche...