Air Berlin doubles 3Q net profit