Just a random Google:

https://knoema.com/atlas/Germany/High-technology-exports

It says here that Germany, Europe's largest economy, has $223b in "high tech" exports per year, however "high tech" is defined.

The same site reveals $89b for Japan where Japan has a larger population (but not larger economy because duh).