Mach's gut kleiner