Der Bub habe Sonntagnachmittag (Ortszeit) mit mehreren Kindern in einem Teich im Kakadu Nationalpark bei der Stadt Jabiru gebadet, als das Reptil die Gruppe angegriffen habe, sagte ein Sprecher der Polizei im Bundesstaat Northern Territory.Einem weiteren Buben habe das Krokodil in den Arm gebissen, er musste vom Rettungsdienst behandelt werden. Man gehe davon aus, dass der Zwölfjährige vom Krokodil „mitgenommen“ worden sei, erklärte die Polizei. Einsatzkräfte suchten per Boot und vom Ufer aus nach dem Kind – zunächst erfolglos.apa/dpa