Addressing mental illness stigma in German higher education: study protocol for a mixed-methods evaluation of a psychosocial setting-based intervention.