"punched" Deutsche bedeutung