I love Waldmann's spätzle — and they are one of the few local restaurants that make it — so I ordered the jagerschnitzel (pork tenderloin), which comes on a pile of the little dumplings. The whole ...