gkv_manual Documentation about formulation and usage of GKV https://gkv-manual.readthedocs.io/en/latest/