Mohnnudeln (Austrian Potato Dumplings With Sweet Poppy Seed–Butter Sauce)

These Austrian potato dumplings are tender and hearty, like gnocchi, and tossed in vanilla-scented butter and nutty, sweet poppy seeds.