Small Local AI Models – Can you prove them to be useful at all?