Text this: Economic headlights: High-frequency data from shipping as an indicator of German foreign trade