German gross domestic product in the 1st quarter of 2025 up 0.2% on the previous quarter | Metals Mine