Wanneer zijn Oost-Duitsland en West-Duitsland officieel herenigd om het huidige Duitsland te vormen?