Norges export till Tyskland var ungefär25,000