Original: In Germany, Punch is called Kasperle or Kaspar, while Judy is "Grete".
Simplified: In Germany, Punch is called "Kasper" and Judy is "Grete".