Buitenlandse omzet Duitsers stijgt naar 13,1 miljard euro