This was deemed a “credit event,” so credit-default swaps were exercised: anyone who insured against default had to pay out.
Dies wurde als „Kreditereignis“ gewertet und die Credit Default Swaps somit ausgelöst: Die Kreditausfallversicherungen wurden fällig.