diff --git a/doc/images/use_case3.png b/doc/images/use_case3.png index c023bbf282a7d7459e8a9d6ddcf560a5cd682fcf..fbe23a8ba511b2829ac162a1ec47fc9c9c4c8980 100644 Binary files a/doc/images/use_case3.png and b/doc/images/use_case3.png differ diff --git a/doc/images/use_case4.png b/doc/images/use_case4.png new file mode 100644 index 0000000000000000000000000000000000000000..863c08393fddbfc58e0e9aa0dac8a7101c7711a1 Binary files /dev/null and b/doc/images/use_case4.png differ