Translate Extensions into German


Hello everybody,
I would like to translate some extensions to the Arduino Uno into German for my students.
How do I get other users’ mext files?
Is there a collection of different extensions for the Arduino Uno that I can download?
Thank you in advance

Uli A.