Erstes Gesetz zur Änderung des Hohe-See-Einbringungsgesetzes