How the history of Danish biogas innovation can help shaping future public interventions in the biogas sector