5 , 256 , 071 992,387 86,099 13 , 375 , 156 BERLIN den 9 dec.