Translation of "Auslandsdeckung" in English