I had to substitute the paprika. It tasted good, but the butter didn't melt into the cabbage and just formed a lump of seasoning in the middle of the cabbage. I probably just had it too thick and would need to use more fat next time to thin it out. Maybe a mix with olive oil instead. Also, the inside of the cabbage didn't really cook. Outside tasted good.
