What was the Holy Roman Empire replaced with