Bürgermeister, Senator, Abgeordneter: André Grosjean ist tot