What to do about Germany