Was kann man tun wenn ein ticketautomat nicht geht?