A three-year civil war followed his death. How many years did the civil war after the death of Louis the Pious last?