Zwei Mathematiker lösen erstmals das GPS-Problem