About four and half hours seems like lots of time, but you should do the tax refund and go through any passport control lines as soon as possible as they can be long if you are unlucky at FRA. Last summer I experienced hour long waits for passport control once in each direction, entering and exiting Europe.