Maschine von Air Berlin muss auf Phuket notlanden