public void setManager(Manager manager) {
		if (manager != this.manager) {
			Manager vorigeManager = this.manager;
			this.manager = manager;
			if (vorigeManager != null && vorigeManager.getCampus() == this) {
				vorigeManager.setCampus(null);
			}
			if (manager != null && manager.getCampus() != this) {
				this.manager.setCampus(this);
			}
		}
	}