Deutsches Rechtswörterbuch (DRW): (optieren)