Hendrik Leber über das DeepSeek-Beben: „Ein zu begrüßender Schuss vor den Bug“