Ausgaben für 3D-Druck sollen bis 2020 bei 23 Milliarden Dollar liegen