During the Cold War, East Germans were prohibited from escaping to the west, but if they did, was it a crime in West Germany to have escaped?