Markt für 3D-Drucker wächst um 25 Prozent