[231] Extrasteuer, eine außergewöhnliche, zur Deckung eines vorübergehenden Bedarfs auferlegte Steuer.