Given a sentence in the Japanese, provide an equivalent translation in Bahasa Indonesia that retains the same meaning through the translation. In translation, keep numbers as it is.

Example input: フランスのパリ、パルク・デ・プランスで行われた2007年ラグビーワールドカップのプールCで、イタリアは31対5でポルトガルを下した。
Example output: Italia berhasil mengalahkan Portugal 31-5 di grup C dalam Piala Dunia Rugby 2007 di Parc des Princes, Paris, Perancis.
Example explanation: This is a correct and accurate translation from Japanese to Bahasa Indonesia because translated text is just paraphrased of Japanese sentence. Also, it preserves the numbers as it is.
Q: 連邦裁判所の訴訟手続きが進展すれば、詳細な情報が利用できるようになる。
A:
Informasi lebih banyak akan segera tersedia setelah proses Pengadilan Federal terbuka.