38.334 Borel Felix Felix Borel Borel, Felix