NGC 3293 in HOO (RGB stars), Manuel Peitsch