12 dött i Berlin.