Deutsches Rechtswörterbuch (DRW): Spielhafen