with mushrooms or smoked meat and cheese, potato croquettes, and mixed salad