I missed that little nugget. Thanks.
It was the “Heroes of Telemark” raid on Norsk Hydro, which happened about a month ago. All the saboteurs escaped.