Nonstandard-Analysis pocketTysk, 2023