Segmentierung urbaner Bäume in Luftbildaufnahmen von Berlin mittels Deep Learning unter Verwendung synthetischer Trainingsdaten