Wie hoch waren die Steuereinnahmen 2017?