Mahn ; , den 5 Julik.