removed comment and declaration after issue has been resolved (cf. e83695ea0e0a)
removed comment and declaration after issue has been resolved (cf. e83695ea0e0a)

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