User-agent: *
Disallow: /user/*

Host: https://www.tixcom.de