Obrat společnosti TRUMPF poprvé přesáhl 2,5 miliardy