Ein 7m hoher Mast wird von der einen Seite mit einem 13m langen Seil und von der gegenüberliegenden Seite mit einem 9m langen Seil abgespannt. Wie weit sind die Verankerungen der Spannseile von einander entfernt?