was ist die definition von divers