Workshop: The State of GPS Vertical Positioning Precision: Separation of Earth Processes by Space Geodesy (2003 Luxembourg, Luxembourg)