Einzellocher, 15 mm, rundes Lochstanzwerkzeug, Papierstanzer, präziser Kreis-Lochstanzer, tragbarer Locher für Kantenanleimungen