EStrCHEVRegAusfG — Gesetz zur Ausführung der versorgungsrechtlichen Regelungen der am 25. August 1953 unterzeichneten Vereinbarung zwischen dem Bundesminister für Verkehr der Bundesrepublik Deutschland und dem Vorsteher des Eidgenössischen Post- und Eisenbahndepartements der Schweizerischen Eidgenossenschaft über die deutschen Eisenbahnstrecken auf Schweizer Gebiet