欧洲地中海地震中心（EMSC）：印尼巽他海峡发生5.1级地震。