Federalism has a long tradition in German history. The Holy Roman Empire comprised of how many petty states