Mathematische Modelle für die Energiewende