Gedünstete Hirschschnitzerl mit Gnocchi