Trends in high sea levels of German North Sea gauges compared to regional mean sea level changes