Der Beschwerdeführer reichte am 17. Juli 2020 abschliessende Bemerkungen ein. Am 20. Juli 2020
reichte er eine weitere Eingabe ein.