All German defense stocks have just fallen quite sharply.Do you think now would be a good time to get in or is the hype already completely over?$RHM (-0,3Â %)$R3NK (-0,5Â %)$HAG (+0,59Â %)