Spanish Green Beans With Garlic And Paprika