Hey Jonathan, thank you for your reply :)
The problem has been fixed with a new version of Blender. Since the STL doesn't have units, probably the export plugin used coordinates as blender units/meters, while the rest of the (software) world interpreted the file as mm.