Getting East German Passport stamps at Checkpoint charlie, Berlin