Rundermuis, aardappelgratin, gegrilde groenten