Nach fast zehn Jahren Rot-Rot: Berlin erhält große Koalition