Die ursprüngliche Website erwähnt nicht die Lizenz der Datei, also habe ich die Lizenz als Public Domain festgelegt.