Original: Both the park and the former casino were named National Monuments on February 25 , 1988 , and the majority of the houses situated in the park are private homes .
Simplified: Both the park and the former casino were named National Monuments on February 25 , 1988 .