The German economy and Putin’s war