Der Estrich wurde zu hoch verlegt, das Tor ist eine Maßanfertigung und ist nun zu lang. Ist es besser den Estrich abzuschleifen oder das Garagentor zu kürzen?