KI-generierte Bilder von Formalises