Nokia schrumpft: 1700 Stellen werden weltweit gestrichen