OKM II Rock Studio incl. A3 - 338 euro (
https://www.mp3-player.de/index.php?page=article&ID=1822)
(this version is good for both loud rock and soft stuff, making it an allround mic)
Sony A10 - 228 (Amazon.de)
568 euro + shipping/battery. Stretch the budget to 600 if you can, and you have a set that is capable of making excellent recordings and is 'beginnerfriendly'. No worries about battery, no worries about hiding (mic can be placed in your ears), can handle lot of spl's.
Used it for years, get close to the stack and if you do not have to many clappers around you it will turn out great.
This will keep you motivated and after a lot of gigs you are up for more.