Die indonesische Börse hat kräftig korrigiert