Sauteed red cabbage with garlic, raisins, and pine nuts