Savory tenderloin tips slow-cooked in traditional Austrian paprika gravy, over garlic mashed potato or spätzle