Highest temperatures ever recorded in Germany's North Sea – maritime agency