hole-punching press - German English Dictionary