Protoplanetární disk HL Tauri obsahuje mnohem více vody než všechny pozemské oceány dohromady