Germany had a first half budget deficit of 51.6 billion euros, equal to 3.2 percent of total output, as it bolstered the economy against the coronavirus pandemic, official figures showed Tuesday. The Destatis statistics office also revised up its estimate for the three months to June to show the economy shrank 9.7 percent, a massive hit to Europe's powerhouse but better than the original estimate of 10.1 percent. jpl/sl/bmm/wdb