"seminorm" Deutsche bedeutung