Harun Farocki is an artist.