Does there exist a commutative ring extension $A\subsetneq B$ satisfying the following conditions:
- $A$ is a normal local domain and $B$ is a regular domain with the same dimension;
- $A$ and $B$ have the same fraction field;
- $B$ is finitely generated as an $A$-algebra.