Detail of Karl Weigl diary entry, summer, 1937.