12,5 milliarder tyske mark fortsatt i omløp