Department of Biogeochemical Integration, Max Planck Institute for Biogeochemistry, Jena, Thuringia, Germany.|Department of Biogeochemical Integration, Max Planck Institute for Biogeochemistry, Jena, Thuringia, Germany.|Software Engineering for Safety-Critical Systems Group, Technische Universität Ilmenau, Ilmenau, Thuringia, Germany.|Software Engineering for Safety-Critical Systems Group, Technische Universität Ilmenau, Ilmenau, Thuringia, Germany.