Deutsches Rechtswörterbuch (DRW): doppelspielen