Berlin den den 31 Dee.