How many children did August von Hayek and his wife have