"Lochstreifenstanzer" Englisch