What did a majority of Berliners vote for in 1957