Choosing between Berlin and Bonn for Germany's capital