The Influence of the Tobacco Tax Increase of September 1st, 1972, in the Federal Republic of Germany on the Butt Lengths Left by Smokers/Die Auswirkung der Tabaksteuererhöhung vom 1. 9. 1972 auf die Länge der Cigarettenstummel in der Bundesrepublik Deutschland