Berliners are to vote again on 12 February 2023