Deutsches Rechtswörterbuch (DRW): Holzmeistersteuer