German egg noodles or dumplings.