Chefen för Christiania Borgerliga Infanteri-corps , Stadshauptman Harald Astrup.