Thanks for your helpful replies. I had the car checked by Tesla (new service, costs 200 euro), and they found several issues. Most of these were solved by Tesla and free of charge under the standard guarantee. So, if you buy a used Tesla, I advise to do the same!