They did not get the mesmerizing 41-carat “Dresden Green," perhaps the world’s fanciest hat pin — a pear-shaped stone in an elaborate setting intended to dangle from a tricorn. Typically kept in another room at the Royal Palace, it was already at the Met, shimmering away in “Making Marvels,” which continues through March 1.

Dirk Syndram, the director of the Green Vault, said it was “a great relief” that the “Dresden Green” was in New York when the thieves broke in. The Met would not say whether it had stepped up the security for the “Dresden Green.”

The police in Dresden say they still have no leads. A Berlin newspaper, the Berliner Morgenpost, cited an unnamed source as saying the Dresden theft might be linked to a similar break-in at the Bode Museum in 2017. There, thieves hauled away a 221-pound gold coin that was never recovered and is believed to have been melted down. Three suspects are now on trial for the Berlin caper; the police in Dresden have declined to comment on whether they believe there is a connection between the two cases.