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