Mach’s gut, kleiner Knut