Deutsches Rechtswörterbuch (DRW): Haupttaxamt