States- and taxman: Frederick I Barbarossa and the Holy Roman Empire in the twelfth century