Are Germans working too little? And would more work really boost the economy? | To the Point