Body of German tourist washes up on shore of Sharm el-Sheikh, just days after four divers were injured by sharks.