Internationales Übereinkommen über Maßnahmen auf Hoher See bei Ölverschmutzungs-Unfällen