tree c95598dea46af2a02fbf8dd65614faf4235d870a
parent fbfe6365279537a640f015e9c65ff25ef50d7348
author Zesstra <zesstra@zesstra.de> 1596973212 +0200
committer Zesstra <zesstra@zesstra.de> 1601321619 +0200

Master in Supervisor umbenannt.

Wir haben viel zu viele Master speziell in diesem Kontext
(Mudlib-Master, Ebenen-Master, Master fuer jede Ebene, die
auch Ebenen-Master heissen...).
Ausserdem ist Supervisor ohnehin der unproblematischere
Begriff.

Change-Id: Iae98ccbddd3919d4f5710a6b29cd710235579ae0