@manton You are right! We have done such downsizing two years ago: kids moved out, house is sold now, joined a smaller flat. More space, less duties, more freedom for additional topics! Enjoy!