punching device - German English Dictionary