public void setCampus(Campus campus) {
		if (this.campus != null && this.campus.getDocenten().contains(this)) {
			this.campus.removeDocent(this);
		}
		this.campus = campus;
		if (campus != null && !campus.getDocenten().contains(this)) {
			campus.addDocent(this);
		}
	}