Anastasius — male given name