» Juli 16,42 c.