Deutsches Rechtswörterbuch (DRW): Diebstein