4 milliarder tyska riksmark ),