Sieg des Berechenbaren gegen den «schlafenden Bären»