Hoeveel van de DDR steekt er in de huidige Bondsrepubliek ?