german eggs-in-mustard-sauce