https://www.php-resource.de/forum/php-developer-forum/21573-endung-von-uploaded-datei