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