ehrensenator thomas alt