Ein Hai hat im Roten Meer vier Urlauber gebissen und zum Teil schwer verletzt. Die Behörden verhängten Badeverbot.