Egypt shark attack kills German

A German woman has been killed in a shark attack in the waters off the Egyptian Red Sea resort of Sharm el-Sheikh, officials say.