Kommunalwahl: München wird rot-schwarz