International GPS-Workshop (1988 Darmstadt, Germany)