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