Deutsches Rechtswörterbuch (DRW): Bundeszehnte