Räumungsfrist in Prozessvergleich: Kann ein Gericht diese Frist verkürzen?