Thanks for your tip, I should've known it (I learned it that way, after all :-). Anyways, the main problem turned out to be that the $mail_server variable was somehow affected; I replaced it by a constant string and everything worked. I also spotted some beginner's mistakes in my code, such as not escaping the square brackets. Everything is fixed now and I should be able to do the rest on my own.
Thanks, all.