gator , pä morgonen ben 13 Juli.