0.353.916.31 — Vertrag vom 13. Juni 1972 zwischen der Schweizerischen Eidgenossenschaft und der Republik Österreich über die Ergänzung des Europäischen Auslieferungsübereinkommens vom 13. Dezember 1957 und die Erleichterung seiner Anwendung