looks like a favia sp and Leptastrea sp
day light images are important if you want someone to tell you the "designer" names (if thats what you would call it)
Welcome to R2R. You got the ID correct on your corals. The other names your looking for are just given to them by a vendor like brain freeze favia, etc.
#WelcometoR2R
im in California so our venders are different and likely the names but we learn something every day and i learned some german here you go this looks alot like your favia https://www.communitycorals.de/product/favia-christmas/
but im not sure
and welcome to r2r
other than that its really hard to tell what your other coral is because of the lighting