german egg dumplings with chervil