Defaults im ISO-GPS-System und ihre Umsetzung in der Verifikationsnorm Vortrag