20 Mark DDR 1948 Ostmark East German Empire Berlin Wall GDR