added INIT message, with pid and session property; removed adhoc PID handling;
added INIT message, with pid and session property;
removed adhoc PID handling;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle