spatzli (egg noodles)